From diva to driver

DIVA: A Dynamic Approach to Microprocessor Verification

Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that work reliably in varied (and occasionally adverse) operating conditions. To further complicate this task, deep submicron fabrication technologies present new reliability challenges in the form of degraded signal qualit...

DIVA: Applying Decision Theory to Collaborative Filtering

This paper describes DIVA, a decision-theoretic agent for recommending movies that contains a number of novel features. DIVA represents user preferences using pairwise comparisons among items, rather than numeric ratings. It uses a novel similarity measure based on the concept of the probability of conflict between two orderings of ̄ items. The system has a rich representation of preference, dis...

The DIVA Auralization System

This is the position paper of DIVA sound group for Acoustic Rendering Campfire. In this paper we briefly overview the DIVA auralization system and also tell our exceptations related to this Campfire.

DiVA Institutional Repository of Stockholm

Distance Visibility Algorithm (DiVA) Transition

There are three major objectives of this DiVA transition effort: 1) Conduct diver visibility experiments in a range of optical water types to obtain a database for testing and refining the DiVA model; 2) Develop a Monte Carlo model that will be used to perform computer experiments of the DiVA for any combination of water optical properties, environmental conditions, and various types of underwa...